- 双语例句 更多例句
A set of input data and conditions used to check the program correctness.
一组用于检查程序正确性的输入数据和条件.
词典精选例句
搜寻这个错误很容易, 维护和修改这个程式也很容易.
互联网摘选
A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法
互联网摘选
- 相关词组
- executive development program主管发展计划;
- jap-job analysis program工作分析程序法;
- united nations development program网络联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- anti-virus program防毒程序;
- United Nations Development Program联合国开发计划署;
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- pilot program试点计划;
- problem program问题程序;
- political correctnessn.政治正确性;
- flexible benefits program弹性福利计划;
- program musicn.标题音乐,描写音乐;
- uranium enrichment program铀浓缩计划;
- TV programn.电视节目;
- program behavior model程序功效模型;
- map programun.变换程序;分布图程序
- drawing program放矿计划;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- modularized program模块化程序;
- tv programn.电视节目;
- program directorn.节目部主任,计划主持人;
- 今日热词
- 热门搜索
- headache n.头痛;令人头痛的事;棘手的事;难题;
- October n. 十月;
- giraffe n.长颈鹿;
- slavery n.奴隶身份;奴隶制度;苦役,奴隶般的劳动;奴役,束缚,屈从,耽迷(酒色等);
- with you 与你同在(经典乐曲);和你在一起;与你一起;和你一起
- Brandeis n.布兰德斯;路易斯·德莫比茨((1856-1941) 美国法官;曾任美国最高法院陪审法官(1916-1939年)。他反对垄断;护卫个人权利;网络布兰迪斯;布兰戴斯;布兰德斯
- creep v.蹑手蹑脚地移动;缓慢移动;不知不觉地发生;逐渐增长;n.讨厌鬼; 马屁精;
- view n.看法,态度;观看,视线;景色;风景画/照;显示方式;v.把…视为,看待;(观)看,查看;
- log n.记录;日志;原木;v.伐木;把…载入正式记录;行驶;
- monocloud 单色的
- one health 一个健康;大健康;一体化健康;唯一健康;全球健康
- smog n.烟雾;
